Dec(P) == P  (P) 

latex

Definitions	P  Q, A
FDL editor aliases	decidable